Benchmarking Explicit State Parallel Model Checkers
نویسندگان
چکیده
منابع مشابه
Benchmarking Explicit State Parallel Model Checkers
This paper presents a set of benchmarks and metrics for performance reporting in explicit state parallel model checking algorithms. The benchmarks are selected for controllability, and the metrics are chosen to measure speedup and communication overhead. The benchmarks and metrics are used to compare two parallel model checking algorithms: partition and random walk. Implementations of the parti...
متن کاملWeb Portal for Benchmarking Explicit Model Checkers
We present BEEM — BEnchmarks for Explicit Model checkers. This benchmark set includes more than 50 models together with correctness properties (both safety and liveness). The benchmark set is accompanied by an comprehensive web portal, which provides detailed information about all models. The web portal also includes information about state spaces and facilities selection of models for experime...
متن کاملA Progress Measure for Explicit-State Probabilistic Model-Checkers
Verification of the source code of a probabilistic system by means of an explicit-state model-checker is challenging. In most cases, the model-checker will either run out of memory or will simply not terminate within any reasonable amount of time. We introduce the notion of a progress measure for such a model-checker. The progress measure returns a number in the interval [0, 1]. This number pro...
متن کاملBEEM: Benchmarks for Explicit Model Checkers
We present Beem — BEnchmarks for Explicit Model checkers. This benchmark set includes more than 50 parametrized models (300 concrete instances) together with their correctness properties (both safety and liveness). The benchmark set is accompanied by an comprehensive web portal, which provides detailed information about all models. The web portal also includes information about state spaces and...
متن کاملLoad Balancing Parallel Explicit State Model Checking
LOAD BALANCING PARALLEL EXPLICIT STATE MODEL CHECKING
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2003
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80098-2